Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
551	Indicative versus Counterfactual Conditionals, Classical versus Non-Hyperintensional Contexts Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:47 Philosophical logic Binary operations Logical syntax Propositional calculus Modal logic Entailment Constructible universe If and only if Atomic sentence Logic Mathematical logic Mathematics
552	If You Must Do Confirmation Theory, Do It This Way David Miller [removed] Abstract In this talk I begin to draw together, and to package into a coherent philosophical position, a Add to Reading List Source URL: www.kent.ac.uk Language: English - Date: 2013-04-30 06:43:56 Propositional calculus Deduction Statistical inference Epistemology Binary operations Inductive reasoning Entailment Function Raven paradox Logic Mathematics Science
553	Published in The Aristotelian Society supplementary volume[removed]), pp[removed]BLIND REASONING by Paul Boghossian and Timothy Williamson Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:45 Logical consequence Logical syntax Deduction Modus ponens Inference Disjunctive syllogism Paul Boghossian Entailment Deduction theorem Logic Rules of inference Propositional calculus
554	To appear in: G. Preyer and G. Peter, eds., Contextualism in Philosophy Knowledge, Context and the Agent’s Point of View Timothy Williamson Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:48 Philosophical logic Propositional calculus Metatheory Philosophy of language Contextualism Truth Epistemology Modal logic Relativism Philosophy Logic Skepticism
555	1 Published in Philosophical Topics[removed]): pp[removed]Truth, Falsity and Borderline Cases* Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:50 Veracity Propositional calculus Truth Vacuous truth Principle of bivalence Modal logic If and only if Contraposition Many-valued logic Logic Philosophical logic Mathematical logic
556	Reference, Inference and the Semantics of Pejoratives Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:49 Philosophical logic Propositional calculus Grammar Meaning Philosophy of language Michael Dummett Entailment Rule of inference Formal proof Logic Linguistics Semantics
557	Conditional Excluded Middle in Systems of Consequential Implication Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:45 Logical connectives Binary operations Philosophical logic Connexive logic Counterfactual conditional Material conditional Strict conditional Indicative conditional Logical biconditional Logic Propositional calculus Conditionals
558	Differential Dynamic Logic for Verifying Parametric Hybrid Systems? Andr´e Platzer University of Oldenburg, Department of Computing Science, Germany Carnegie Mellon University, Computer Science Department, Pittsburgh, P Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:08:59 Model theory Predicate logic Logical truth Formal languages Symbol First-order logic Substitution Interpretation KeY Logic Mathematical logic Propositional calculus
559	A Formal Approach to Linking Logical Form and Vector-Space Lexical Semantics Dan Garrette, Katrin Erk, and Raymond Mooney Abstract First-order logic provides a powerful and flexible mechanism for representing natural lan Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-12 20:53:04 Propositional calculus Logical consequence Model theory Inference First-order logic Predicate Function Entailment Vector space model Logic Philosophical logic Semantics
560	41 Making Rules Explicit and Following Them ∗ M ATHIEU M ARION AND M ITSUHIRO O KADA Let us begin with a little story about logic in Ancient Greece.1 In Lesser Hippias, Socrates is arguing with the eponymous Sophist ov Add to Reading List Source URL: www.unige.ch Language: English - Date: 2014-11-07 16:16:08 Logical consequence Propositional calculus Logical truth Proof theory What the Tortoise Said to Achilles Inference Hippias Minor Rule of inference Plato Logic Philosophy Philosophical logic

UPDATE